Logica intuizionista

La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.

Secondo la prospettiva intuizionista, la logica e la matematica sono le applicazioni di metodi internamente coerenti per la realizzazione di costrutti mentali^{[non chiaro]} di complessità crescente. La logica intuizionista si propone come una rigorosa e formale logica matematica. Benché non sia chiaro^{[in base a?]} se un calcolo logico formale esaurisca gli aspetti più spiccatamente filosofici dell'intuizionismo, esso mostra delle proprietà piuttosto utili nella pratica scientifica.